Skip to content
This repository has been archived by the owner on Jun 30, 2024. It is now read-only.

Notify when a sanction against user is proposed #112

Merged
merged 4 commits into from
Dec 15, 2020
Merged

Conversation

lens0021
Copy link
Member

Related to #56

@lens0021 lens0021 merged commit 0426c1b into master Dec 15, 2020
@lens0021 lens0021 deleted the lens0021/issue56 branch December 15, 2020 01:05
lens0021 added a commit that referenced this pull request Dec 15, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant